J Bjorner: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Testing unidimensionality in polytomous Rasch models

Karl Bang Christensen, Jakob Bue Bjorner, Svend Kreiner, Jørgen Holm Petersen

Journal:

Year:

2002

Language:

english

File:

PDF, 693 KB

english, 2002

2

DIGITAL FESTIVAL ENGAGEMENT – ON THE INTERPLAY BETWEEN FESTIVALS, PLACE BRANDS AND SOCIAL MEDIA

Laurell, Christofer, Björner, Emma

Journal:

Event Management

Year:

2018

Language:

english

File:

PDF, 689 KB

english, 2018

3

Software engineering education: Rôles of formal specification and design calculi

Dines Bjørner, Jorge R. Cuéllar

Journal:

Annals of Software Engineering

Year:

1998

Language:

english

File:

PDF, 258 KB

english, 1998

4

Pinnacles of software engineering: 25 years of formal methods

Journal:

Annals of Software Engineering

Year:

2000

Language:

english

File:

PDF, 358 KB

english, 2000

5

Satisfiability modulo theories : introduction and applications

De Moura, Leonardo, Bjørner, Nikolaj

Journal:

Communications of the ACM

Year:

2011

Language:

english

File:

PDF, 443 KB

english, 2011

6

Selenium supplementation for patients with Graves’ hyperthyroidism (the GRASS trial): study protocol for a randomized controlled trial

Torquil Watt, Per Cramon, Jakob Bue Bjorner, Steen Joop Bonnema…

Journal:

Year:

2013

Language:

english

File:

PDF, 275 KB

english, 2013

7

Long working hours and risk of coronary heart disease and stroke: a systematic review and meta-analysis of published and unpublished data for 603 838 individuals

Kivimäki, Mika, Jokela, Markus, Nyberg, Solja T, Singh-Manoux, Archana, Fransson, Eleonor I, Alfredsson, Lars, Bjorner, Jakob B, Borritz, Marianne, Burr, Hermann, Casini, Annalisa, Clays, Els, De Bacq

Journal:

Year:

2015

Language:

english

File:

PDF, 593 KB

english, 2015

8

Development of a Short Version of the Thyroid-Related Patient-Reported Outcome ThyPRO

Watt, Torquil, Bjorner, Jakob Bue, Groenvold, Mogens, Cramon, Per, Winther, Kristian Hillert, Hegedüs, Laszlo, Bonnema, Steen Joop, Rasmussen, Åse Krogh, Ware Jr., John E, Feldt-Rasmussen, Ulla

Journal:

Year:

2015

Language:

english

File:

PDF, 487 KB

english, 2015

9

Linear Decision Trees, Subspace Arrangements, and Mobius Functions

Anders Bjorner and Laszlo Lovasz

Journal:

Journal of the American Mathematical Society

Year:

1994

Language:

english

File:

PDF, 2.37 MB

english, 1994

10

To every manifest domain a CSP expression – a rôle for mereology in computer science

Bjørner, Dines

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2018

Language:

english

File:

PDF, 650 KB

english, 2018

11

Effort-reward imbalance at work and risk of type 2 diabetes in a national sample of 50,552 workers in Denmark: A prospective study linking survey and register data

Nordentoft, Mads, Rod, Naja H., Bonde, Jens Peter, Bjorner, Jakob B., Madsen, Ida E.H., Pedersen, Line R.M., Cleal, Bryan, Magnusson Hanson, Linda L., Nexo, Mette A., Pentti, Jaana, Stenholm, Sari, St

Journal:

Journal of Psychosomatic Research

Year:

2020

Language:

english

File:

PDF, 843 KB

english, 2020

12

Some combinatorial and algebraic properties of Coxeter complexes and Tits buildings

Anders Björner

Journal:

Advances in Mathematics

Year:

1984

Language:

english

File:

PDF, 2.22 MB

english, 1984

13

An extended Euler-Poincaré theorem

Anders Björner, Gil Kalai

Journal:

Acta Mathematica

Year:

1988

Language:

english

File:

PDF, 1023 KB

english, 1988

14

Test for item bias in a quality of life questionnaire

Mogens Groenvold, Jakob B. Bjorner, Marianne Carol Klee, Svend Kreiner

Journal:

Journal of Clinical Epidemiology

Year:

1995

Language:

english

File:

PDF, 1.10 MB

english, 1995

15

Tests of Data Quality, Scaling Assumptions, and Reliability of the SF-36 in Eleven Countries: Results from the IQOLA Project

Barbara Gandek, John E. Ware Jr., Neil K. Aaronson, Jordi Alonso, Giovanni Apolone, Jakob Bjorner, John Brazier, Monika Bullinger, Shunichi Fukuhara, Stein Kaasa, Alain Leplège, Marianne Sullivan

Journal:

Journal of Clinical Epidemiology

Year:

1998

Language:

english

File:

PDF, 175 KB

english, 1998

16

Use of Structural Equation Modeling to Test the Construct Validity of the SF-36 Health Survey in Ten Countries: Results from the IQOLA Project

Susan D. Keller, John E. Ware Jr., Peter M. Bentler, Neil K. Aaronson, Jordi Alonso, Giovanni Apolone, Jakob B. Bjorner, John Brazier, Monika Bullinger, Stein Kaasa, Alain Leplège, Marianne Sullivan,

Journal:

Journal of Clinical Epidemiology

Year:

1998

Language:

english

File:

PDF, 312 KB

english, 1998

17

Development of an item bank and computer adaptive test for role functioning

Milena D. Anatchkova, Matthias Rose, John E. Ware Jr., Jakob B. Bjorner

Journal:

Quality of Life Research

Year:

2012

Language:

english

File:

PDF, 419 KB

english, 2012

18

The distinction between work pace and working hours in the measurement of quantitative demands at work

Kristensen *, Tage S., Bjorner, Jakob B., Christensen, Karl B., Borg, Vilhelm

Journal:

Year:

2004

Language:

english

File:

PDF, 190 KB

english, 2004

19

Development and implementation of PROgmatic: A clinical trial management system for pragmatic multi-centre trials, optimised for electronic data capture and patient-reported outcomes

Cramon, P., Rasmussen, A. K., Bonnema, S. J., Bjorner, J. B., Feldt-Rasmussen, U., Groenvold, M., Hegedus, L., Watt, T.

Journal:

Clinical Trials

Year:

2014

Language:

english

File:

PDF, 1.15 MB

english, 2014

20

The Thyroid-Related Quality of Life Measure ThyPRO Has Good Responsiveness and Ability to Detect Relevant Treatment Effects

Watt, Torquil, Cramon, Per, Hegedüs, Laszlo, Bjorner, Jakob Bue, Bonnema, Steen Joop, Rasmussen, Åse Krogh, Feldt-Rasmussen, Ulla, Groenvold, Mogens

Journal:

Journal of Clinical Endocrinology & Metabolism

Year:

2014

Language:

english

File:

PDF, 94 KB

english, 2014

21

SUBSPACE ARRANGEMENTS DEFINED BY PRODUCTS OF LINEAR FORMS

BJÖRNER, ANDERS, PEEVA, IRENA, SIDMAN, JESSICA

Journal:

Journal of the London Mathematical Society

Year:

2005

Language:

english

File:

PDF, 204 KB

english, 2005

22

Burnout among employees in human service work: design and baseline findings of the PUMA study

Borritz, Marianne, Rugulies, Reiner, Bjorner, Jakob, Villadsen, Ebbe, Mikkelsen, Ole, Kristensen, Tage

Journal:

Scandinavian Journal of Public Health

Year:

2006

Language:

english

File:

PDF, 244 KB

english, 2006

23

Chessboard Complexes and Matching Complexes

Bjorner, A., Lovasz, L., Vrecica, S. T., Zivaljevic, R. T.

Journal:

Journal of the London Mathematical Society

Year:

1994

Language:

english

File:

PDF, 1.06 MB

english, 1994

24

[Lecture Notes in Computer Science] Distributed Computing and Internet Technology Volume 9581 || A Multiclass SVM Classification Approach for Intrusion Detection

Bjørner, Nikolaj, Prasad, Sanjiva, Parida, Laxmi

Year:

2016

Language:

english

File:

PDF, 261 KB

english, 2016

25

International positioning through online city branding: the case of Chengdu

Journal:

Journal of Place Management and Development

Year:

2013

Language:

english

File:

PDF, 272 KB

english, 2013

26

Place Branding Through Phases of the Image: Balancing Image and Substance

Journal:

Place Branding and Public Diplomacy

Year:

2015

Language:

english

File:

PDF, 59 KB

english, 2015

27

Terminal costs, improved life expectancy and future public health expenditure

Thomas Bue Bjørner and Søren Arnberg

Journal:

International Journal of Health Care Finance and Economics

Year:

2012

Language:

english

File:

PDF, 1.50 MB

english, 2012

28

Aggression in Psychiatric Wards: Effect of the Use of a Structured Risk Assessment

Hvidhjelm, Jacob, Sestoft, Dorte, Skovgaard, Lene Theil, Rasmussen, Kirsten, Almvik, Roger, Bue Bjorner, Jakob

Journal:

Issues in Mental Health Nursing

Year:

2016

Language:

english

File:

PDF, 504 KB

english, 2016

29

Linking city branding to multi-level urban governance in Chinese mega-cities: A case study of Guangzhou

Ye, Lin, Björner, Emma

Journal:

Year:

2018

Language:

english

File:

PDF, 941 KB

english, 2018

30

Effort-reward imbalance at work and weight changes in a nationwide cohort of workers in Denmark

Nordentoft, Mads, Rod, Naja Hulvej, Bonde, Jens Peter, Bjorner, Jakob Bue, Cleal, Bryan, Larsen, Ann Dyreborg, Madsen, Ida E.H., Magnusson Hanson, Linda L., Nexo, Mette Andersen, Pedersen, Line Rosend

Journal:

American Journal of Industrial Medicine

Year:

2020

File:

PDF, 769 KB

2020

31

Cost-effectiveness with multiple outcomes

Jakob Bjørner, Hans Keiding

Journal:

Health Economics

Year:

2004

Language:

english

File:

PDF, 138 KB

english, 2004

32

Evaluation of a computer-adaptive test for the assessment of depression (D-CAT) in clinical application

Herbert Fliege, Janine Becker, Otto B. Walter, Matthias Rose, Jakob B. Bjorner, Burghard F. Klapp

Journal:

International Journal of Methods in Psychiatric Research

Year:

2009

Language:

english

File:

PDF, 465 KB

english, 2009

33

Subspace Arrangements over Finite Fields: Cohomological and Enumerative Aspects

Anders Björner, Torsten Ekedahl

Journal:

Advances in Mathematics

Year:

1997

Language:

english

File:

PDF, 424 KB

english, 1997

34

Formal, model-oriented software development methods: From VDM to ProCoS & from RAISE to LaCoS

Dines Bjørner, Anne Elisabeth Haxthausen, Klaus Havelund

Journal:

Future Generation Computer Systems

Year:

1992

Language:

english

File:

PDF, 2.14 MB

english, 1992

35

COMPLEXES OF NOT i-CONNECTED GRAPHS

Eric Babson, Anders Björner, Svante Linusson, John Shareshian, Volkmar Welker

Journal:

Year:

1999

Language:

english

File:

PDF, 252 KB

english, 1999

36

Deductive verification of real-time systems using STeP

Nikolaj S. Bjørner, Zohar Manna, Henny B. Sipma, Tomás E. Uribe

Journal:

Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 351 KB

english, 2001

37

Automatic generation of invariants and intermediate assertions

Nikolaj Bjørner, Anca Browne, Zohar Manna

Journal:

Theoretical Computer Science

Year:

1997

Language:

english

File:

PDF, 2.39 MB

english, 1997

38

Any need for coordination of policies towards transit traffic with a negative local externality?

Thomas Bjørner

Journal:

Environmental and Resource Economics

Year:

1996

Language:

english

File:

PDF, 1.23 MB

english, 1996

39

The number of faces of balanced Cohen-Macaulay complexes and a generalized Macaulay theorem

Anders Björner, Richard Stanley, Peter Frankl

Journal:

Year:

1987

Language:

english

File:

PDF, 649 KB

english, 1987

40

A Note on Blockers in Posets

Anders Björner, Axel Hultman

Journal:

Annals of Combinatorics

Year:

2004

Language:

english

File:

PDF, 183 KB

english, 2004

41

John Warner Backus: 3 Dec 1924–17 March 2007

Journal:

Formal Aspects of Computing

Year:

2008

Language:

english

File:

PDF, 117 KB

english, 2008

42

Multidimensional Computerized Adaptive Testing of the EORTC QLQ-C30: Basic Developments and Evaluations

Morten Aa. Petersen, Mogens Groenvold, Neil Aaronson, Peter Fayers, Mirjam Sprangers, Jakob B. Bjorner, for the European Organisation for Research and Treatment of Cancer Quality of Life Group

Journal:

Quality of Life Research

Year:

2006

Language:

english

File:

PDF, 297 KB

english, 2006

43

Bruhat order of Coxeter groups and shellability

Anders Björner, Michelle Wachs

Journal:

Advances in Mathematics

Year:

1982

Language:

english

File:

PDF, 770 KB

english, 1982

44

Using Item Response Theory (IRT) for Developing and Evaluating the Pain Impact Questionnaire (PIQ-6™)

Janine Becker, Carolyn Schwartz, Renee N. Saris-Baglama, Mark Kosinski, Jakob Bue Bjorner

Journal:

Year:

2007

Language:

english

File:

PDF, 643 KB

english, 2007

45

Quality of life in the Danish general population – normative data and validity of WHOQOL-BREF using Rasch and item response theory models

V. Noerholm, M. Groenvold, T. Watt, J.B. Bjorner, N.-A. Rasmussen, P. Bech

Journal:

Quality of Life Research

Year:

2004

Language:

english

File:

PDF, 91 KB

english, 2004

46

Flowchart machines

Journal:

BIT Numerical Mathematics

Year:

1970

Language:

english

File:

PDF, 1.65 MB

english, 1970

47

Environmental benefits from better freight transport management: freight traffic in a VAR model

Thomas Bue Bjørner

Journal:

Transportation Research Part D: Transport and Environment

Year:

1999

Language:

english

File:

PDF, 248 KB

english, 1999

48

[Lecture Notes in Computer Science] Perspectives of System Informatics Volume 1181 || Algebraic semantics of the Oberon target machine

Bjørner, Dines, Broy, Manfred, Pottosin, Igor V.

Year:

1996

Language:

english

File:

PDF, 713 KB

english, 1996

49

Substitution between energy, capital and labour within industrial companies: A micro panel data analysis

Søren Arnberg, Thomas Bue Bjørner

Journal:

Resource and Energy Economics

Year:

2007

Language:

english

File:

PDF, 197 KB

english, 2007

50

Differential Item Functioning in the Danish Translation of the SF-36

Jakob B. Bjorner, Svend Kreiner, John E. Ware, Mogens T. Damsgaard, Per Bech

Journal:

Journal of Clinical Epidemiology

Year:

1998

Language:

english

File:

PDF, 223 KB

english, 1998